Real - Time System Development
نویسنده
چکیده
This extended abstract gives a brief overview on research about Constraint Diagrams, a graphical formalismwhich is developed in order to make safety-critical real-time systems more reliable by simplifying correct requirements capture and re nement.
منابع مشابه
Real Time Dynamic Simulation of Power System Using Multiple Microcomputers
Recent developments in the design and manufacture of microcomputers together with improved simulation techniques make it possible to achieve the speed and accuracy required for the dynamic simulation of power systems in real time. This paper presents some experimental results and outlines new ideas on hardware architecture, mathematical algorithms and software development for this purpose. The ...
متن کاملProposed new signal for real-time stress monitoring: Combination of physiological measures
Human stress is a physiological tension that appears when a person responds to mental, emotional, or physical chal-lenges. Detecting human stress and developing methods to manage it, has become an important issue nowadays. Au-tomatic stress detection through physiological signals may be a useful method for solving this problem. In most of the earlier studies, long-term time window was considere...
متن کاملDevelopment and Evaluation of a Real Time Site-Specific Inter-Row Weed Management System
ABSTRACT- A real-time, site-specific, machine-vision based, inter-row patch herbicide application system was developed and evaluated. The image resolution was 640 × 480 pixels covering a total area of 350 mm x 240 mm of a field composed of four quadrants of 350 mm x 60 mm each. The image frames were processed by LabView® and MatLab®. The developed algorithm, based on weed coverage ratio and seg...
متن کاملDevelopment of New Modified Simple Polymerase Chain Reaction and Real-time Polymerase Chain Reaction for the Identification of Iranian Brucella abortus Strains
Brucellosis is primarily a worldwide zoonotic disease caused by Brucella species. The genus Brucella contains highly infectious species that are classified as biological threat agents. In this regard, the identification of Brucella can be a time-consuming and labor-intensive process posing a real risk of laboratory-acquired infection to the laboratory staff. This stud...
متن کاملDevelopment of a QFD-based expert system for CNC turning centre selection
Computer numerical control (CNC) machine tools are automated devices capable of generating complicated and intricate product shapes in shorter time. Selection of the best CNC machine tool is a critical, complex and time-consuming task due to availability of a wide range of alternatives and conflicting nature of several evaluation criteria. Although, the past researchers had attempted to select ...
متن کاملساختار دهی آنی داده‌‌های مکانی ورودی GIS با تأکید بر عارضه راه
An important issue in implementation of a GIS system is preparation of data to be entered in GIS. To produce spatial data for GIS using photogrammetric techniques, conventional method is to apply photogrammetric and GIS systems individually (off-line procedure). This approach is costly, time consuming and somehow unreliable due to the fact that 3D photogrammetric model is not available at the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998